; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = zext i8 53 to i64
  %".5" = and i64 %".4", 63
  %".6" = lshr i64 %"SymVar_0", %".5"
  %".7" = zext i8 11 to i64
  %".8" = and i64 %".7", 63
  %".9" = shl i64 %"SymVar_0", %".8"
  %".10" = or i64 %".6", %".9"
  %".11" = zext i8 1 to i64
  %".12" = and i64 %".11", 63
  %".13" = lshr i64 %".10", %".12"
  %".14" = zext i64 %"SymVar_0" to i128
  %".15" = zext i64 0 to i128
  %".16" = shl i128 %".15", 64
  %".17" = or i128 %".14", %".16"
  %".18" = zext i8 3 to i64
  %".19" = zext i8 0 to i64
  %".20" = shl i64 %".19", 8
  %".21" = or i64 %".18", %".20"
  %".22" = zext i8 0 to i64
  %".23" = shl i64 %".22", 16
  %".24" = or i64 %".21", %".23"
  %".25" = zext i8 0 to i64
  %".26" = shl i64 %".25", 24
  %".27" = or i64 %".24", %".26"
  %".28" = zext i8 0 to i64
  %".29" = shl i64 %".28", 32
  %".30" = or i64 %".27", %".29"
  %".31" = zext i8 0 to i64
  %".32" = shl i64 %".31", 40
  %".33" = or i64 %".30", %".32"
  %".34" = zext i8 0 to i64
  %".35" = shl i64 %".34", 48
  %".36" = or i64 %".33", %".35"
  %".37" = zext i8 0 to i64
  %".38" = shl i64 %".37", 56
  %".39" = or i64 %".36", %".38"
  %".40" = zext i64 %".39" to i128
  %".41" = udiv i128 %".17", %".40"
  %".42" = trunc i128 %".41" to i64
  %".43" = sext i64 112410438 to i128
  %".44" = sext i64 %".13" to i128
  %".45" = mul i128 %".43", %".44"
  %".46" = trunc i128 %".45" to i64
  %".47" = sub i64 %".42", %".46"
  %".48" = zext i8 3 to i64
  %".49" = and i64 %".48", 63
  %".50" = lshr i64 %".47", %".49"
  %".51" = and i64 15, %".50"
  %".52" = or i64 1, %".51"
  %".53" = sub i64 64, %".52"
  %".54" = trunc i64 %".53" to i32
  %".55" = zext i32 %".54" to i64
  %".56" = trunc i64 %".55" to i8
  %".57" = zext i8 %".56" to i64
  %".58" = and i64 %".57", 63
  %".59" = shl i64 %".13", %".58"
  %".60" = zext i8 3 to i64
  %".61" = and i64 %".60", 63
  %".62" = lshr i64 %".47", %".61"
  %".63" = and i64 15, %".62"
  %".64" = or i64 1, %".63"
  %".65" = trunc i64 %".64" to i32
  %".66" = zext i32 %".65" to i64
  %".67" = trunc i64 %".66" to i8
  %".68" = zext i8 %".67" to i64
  %".69" = and i64 %".68", 63
  %".70" = lshr i64 %".13", %".69"
  %".71" = or i64 %".59", %".70"
  %".72" = zext i8 2 to i64
  %".73" = and i64 %".72", 63
  %".74" = lshr i64 %".47", %".73"
  %".75" = and i64 15, %".74"
  %".76" = or i64 1, %".75"
  %".77" = sub i64 64, %".76"
  %".78" = trunc i64 %".77" to i32
  %".79" = zext i32 %".78" to i64
  %".80" = trunc i64 %".79" to i8
  %".81" = zext i8 %".80" to i64
  %".82" = and i64 %".81", 63
  %".83" = lshr i64 %".13", %".82"
  %".84" = zext i8 2 to i64
  %".85" = and i64 %".84", 63
  %".86" = lshr i64 %".47", %".85"
  %".87" = and i64 15, %".86"
  %".88" = or i64 1, %".87"
  %".89" = trunc i64 %".88" to i32
  %".90" = zext i32 %".89" to i64
  %".91" = trunc i64 %".90" to i8
  %".92" = zext i8 %".91" to i64
  %".93" = and i64 %".92", 63
  %".94" = shl i64 %".13", %".93"
  %".95" = or i64 %".83", %".94"
  %".96" = and i64 7, %".95"
  %".97" = zext i8 2 to i64
  %".98" = and i64 %".97", 63
  %".99" = shl i64 %".96", %".98"
  %".100" = add i64 160536708, %"SymVar_0"
  %".101" = zext i8 7 to i64
  %".102" = and i64 %".101", 63
  %".103" = lshr i64 %".47", %".102"
  %".104" = zext i8 2 to i64
  %".105" = and i64 %".104", 63
  %".106" = lshr i64 %".103", %".105"
  %".107" = and i64 7, %".106"
  %".108" = or i64 1, %".107"
  %".109" = trunc i64 %".108" to i32
  %".110" = zext i32 %".109" to i64
  %".111" = trunc i64 %".110" to i8
  %".112" = zext i8 %".111" to i64
  %".113" = and i64 %".112", 63
  %".114" = lshr i64 %".100", %".113"
  %".115" = and i64 63, %".114"
  %".116" = zext i8 4 to i64
  %".117" = and i64 %".116", 63
  %".118" = shl i64 %".115", %".117"
  %".119" = or i64 %".118", %".114"
  %".120" = or i64 %".99", %".119"
  %".121" = add i64 8152287480, %"SymVar_0"
  %".122" = zext i8 4 to i64
  %".123" = and i64 %".122", 63
  %".124" = lshr i64 %".121", %".123"
  %".125" = and i64 15, %".124"
  %".126" = or i64 1, %".125"
  %".127" = sub i64 64, %".126"
  %".128" = trunc i64 %".127" to i32
  %".129" = zext i32 %".128" to i64
  %".130" = trunc i64 %".129" to i8
  %".131" = zext i8 %".130" to i64
  %".132" = and i64 %".131", 63
  %".133" = shl i64 %".120", %".132"
  %".134" = zext i8 4 to i64
  %".135" = and i64 %".134", 63
  %".136" = lshr i64 %".121", %".135"
  %".137" = and i64 15, %".136"
  %".138" = or i64 1, %".137"
  %".139" = trunc i64 %".138" to i32
  %".140" = zext i32 %".139" to i64
  %".141" = trunc i64 %".140" to i8
  %".142" = zext i8 %".141" to i64
  %".143" = and i64 %".142", 63
  %".144" = lshr i64 %".120", %".143"
  %".145" = or i64 %".133", %".144"
  %".146" = sub i64 %".71", %".145"
  %".147" = xor i64 %".145", %".146"
  %".148" = xor i64 %".71", %".147"
  %".149" = xor i64 %".71", %".146"
  %".150" = xor i64 %".71", %".145"
  %".151" = and i64 %".149", %".150"
  %".152" = xor i64 %".148", %".151"
  %".153" = lshr i64 %".152", 63
  %".154" = trunc i64 %".153" to i1
  %".155" = xor i1 %".154", -1
  %".156" = icmp eq i64 %".146", 0
  br i1 %".156", label %".3.if", label %".3.else"
.3.if:
  br label %".3.endif"
.3.else:
  br label %".3.endif"
.3.endif:
  %".160" = phi i1 [1, %".3.if"], [0, %".3.else"]
  %".161" = xor i1 %".160", -1
  %".162" = and i1 %".155", %".161"
  %".163" = icmp eq i1 %".162", 1
  br i1 %".163", label %".3.endif.if", label %".3.endif.else"
.3.endif.if:
  br label %".3.endif.endif"
.3.endif.else:
  br label %".3.endif.endif"
.3.endif.endif:
  %".167" = phi i8 [1, %".3.endif.if"], [0, %".3.endif.else"]
  %".168" = zext i8 %".167" to i64
  %".169" = lshr i64 %".145", 8
  %".170" = trunc i64 %".169" to i56
  %".171" = zext i56 %".170" to i64
  %".172" = shl i64 %".171", 8
  %".173" = or i64 %".168", %".172"
  %".174" = trunc i64 %".173" to i8
  %".175" = zext i8 %".174" to i32
  %".176" = zext i32 %".175" to i64
  %".177" = trunc i64 %".176" to i32
  %".178" = zext i32 %".177" to i64
  %".179" = trunc i64 %".178" to i32
  %".180" = zext i32 %".179" to i64
  %".181" = trunc i64 %".180" to i32
  %".182" = zext i32 %".181" to i64
  %".183" = trunc i64 %".182" to i32
  %".184" = trunc i64 %".182" to i32
  %".185" = and i32 %".183", %".184"
  %".186" = icmp eq i32 %".185", 0
  br i1 %".186", label %".3.endif.endif.if", label %".3.endif.endif.else"
.3.endif.endif.if:
  br label %".3.endif.endif.endif"
.3.endif.endif.else:
  br label %".3.endif.endif.endif"
.3.endif.endif.endif:
  %".190" = phi i1 [1, %".3.endif.endif.if"], [0, %".3.endif.endif.else"]
  %".191" = icmp eq i1 %".190", 1
  br i1 %".191", label %".3.endif.endif.endif.if", label %".3.endif.endif.endif.else"
.3.endif.endif.endif.if:
  br label %".3.endif.endif.endif.endif"
.3.endif.endif.endif.else:
  br label %".3.endif.endif.endif.endif"
.3.endif.endif.endif.endif:
  %".195" = phi i1 [1, %".3.endif.endif.endif.if"], [0, %".3.endif.endif.endif.else"]
  br i1 %".195", label %".3.endif.endif.endif.endif.if", label %".3.endif.endif.endif.endif.else"
.3.endif.endif.endif.endif.if:
  %".197" = add i64 8152287480, %"SymVar_0"
  %".198" = sext i64 %".197" to i128
  %".199" = zext i8 53 to i64
  %".200" = and i64 %".199", 63
  %".201" = lshr i64 %"SymVar_0", %".200"
  %".202" = zext i8 11 to i64
  %".203" = and i64 %".202", 63
  %".204" = shl i64 %"SymVar_0", %".203"
  %".205" = or i64 %".201", %".204"
  %".206" = zext i8 1 to i64
  %".207" = and i64 %".206", 63
  %".208" = lshr i64 %".205", %".207"
  %".209" = zext i64 %"SymVar_0" to i128
  %".210" = zext i64 0 to i128
  %".211" = shl i128 %".210", 64
  %".212" = or i128 %".209", %".211"
  %".213" = zext i8 3 to i64
  %".214" = zext i8 0 to i64
  %".215" = shl i64 %".214", 8
  %".216" = or i64 %".213", %".215"
  %".217" = zext i8 0 to i64
  %".218" = shl i64 %".217", 16
  %".219" = or i64 %".216", %".218"
  %".220" = zext i8 0 to i64
  %".221" = shl i64 %".220", 24
  %".222" = or i64 %".219", %".221"
  %".223" = zext i8 0 to i64
  %".224" = shl i64 %".223", 32
  %".225" = or i64 %".222", %".224"
  %".226" = zext i8 0 to i64
  %".227" = shl i64 %".226", 40
  %".228" = or i64 %".225", %".227"
  %".229" = zext i8 0 to i64
  %".230" = shl i64 %".229", 48
  %".231" = or i64 %".228", %".230"
  %".232" = zext i8 0 to i64
  %".233" = shl i64 %".232", 56
  %".234" = or i64 %".231", %".233"
  %".235" = zext i64 %".234" to i128
  %".236" = udiv i128 %".212", %".235"
  %".237" = trunc i128 %".236" to i64
  %".238" = sext i64 112410438 to i128
  %".239" = sext i64 %".208" to i128
  %".240" = mul i128 %".238", %".239"
  %".241" = trunc i128 %".240" to i64
  %".242" = sub i64 %".237", %".241"
  %".243" = zext i8 2 to i64
  %".244" = and i64 %".243", 63
  %".245" = lshr i64 %".242", %".244"
  %".246" = and i64 15, %".245"
  %".247" = or i64 1, %".246"
  %".248" = sub i64 64, %".247"
  %".249" = trunc i64 %".248" to i32
  %".250" = zext i32 %".249" to i64
  %".251" = trunc i64 %".250" to i8
  %".252" = zext i8 %".251" to i64
  %".253" = and i64 %".252", 63
  %".254" = lshr i64 %".208", %".253"
  %".255" = zext i8 2 to i64
  %".256" = and i64 %".255", 63
  %".257" = lshr i64 %".242", %".256"
  %".258" = and i64 15, %".257"
  %".259" = or i64 1, %".258"
  %".260" = trunc i64 %".259" to i32
  %".261" = zext i32 %".260" to i64
  %".262" = trunc i64 %".261" to i8
  %".263" = zext i8 %".262" to i64
  %".264" = and i64 %".263", 63
  %".265" = shl i64 %".208", %".264"
  %".266" = or i64 %".254", %".265"
  %".267" = and i64 7, %".266"
  %".268" = zext i8 2 to i64
  %".269" = and i64 %".268", 63
  %".270" = shl i64 %".267", %".269"
  %".271" = add i64 160536708, %"SymVar_0"
  %".272" = zext i8 7 to i64
  %".273" = and i64 %".272", 63
  %".274" = lshr i64 %".242", %".273"
  %".275" = zext i8 2 to i64
  %".276" = and i64 %".275", 63
  %".277" = lshr i64 %".274", %".276"
  %".278" = and i64 7, %".277"
  %".279" = or i64 1, %".278"
  %".280" = trunc i64 %".279" to i32
  %".281" = zext i32 %".280" to i64
  %".282" = trunc i64 %".281" to i8
  %".283" = zext i8 %".282" to i64
  %".284" = and i64 %".283", 63
  %".285" = lshr i64 %".271", %".284"
  %".286" = and i64 63, %".285"
  %".287" = zext i8 4 to i64
  %".288" = and i64 %".287", 63
  %".289" = shl i64 %".286", %".288"
  %".290" = or i64 %".289", %".285"
  %".291" = or i64 %".270", %".290"
  %".292" = sext i64 %".291" to i128
  %".293" = mul i128 %".198", %".292"
  %".294" = trunc i128 %".293" to i64
  %".295" = sext i64 %".294" to i128
  %".296" = and i64 15, %".242"
  %".297" = zext i8 3 to i64
  %".298" = and i64 %".297", 63
  %".299" = shl i64 %".296", %".298"
  %".300" = or i64 %".299", %".242"
  %".301" = and i64 %".300", %".291"
  %".302" = and i64 31, %".301"
  %".303" = zext i8 4 to i64
  %".304" = and i64 %".303", 63
  %".305" = shl i64 %".302", %".304"
  %".306" = or i64 %".305", %".208"
  %".307" = or i64 %".300", %".306"
  %".308" = sext i64 %".307" to i128
  %".309" = mul i128 %".295", %".308"
  %".310" = trunc i128 %".309" to i64
  br label %".3.endif.endif.endif.endif.endif"
.3.endif.endif.endif.endif.else:
  %".312" = add i64 8152287480, %"SymVar_0"
  %".313" = sext i64 %".312" to i128
  %".314" = zext i8 53 to i64
  %".315" = and i64 %".314", 63
  %".316" = lshr i64 %"SymVar_0", %".315"
  %".317" = zext i8 11 to i64
  %".318" = and i64 %".317", 63
  %".319" = shl i64 %"SymVar_0", %".318"
  %".320" = or i64 %".316", %".319"
  %".321" = zext i8 1 to i64
  %".322" = and i64 %".321", 63
  %".323" = lshr i64 %".320", %".322"
  %".324" = zext i64 %"SymVar_0" to i128
  %".325" = zext i64 0 to i128
  %".326" = shl i128 %".325", 64
  %".327" = or i128 %".324", %".326"
  %".328" = zext i8 3 to i64
  %".329" = zext i8 0 to i64
  %".330" = shl i64 %".329", 8
  %".331" = or i64 %".328", %".330"
  %".332" = zext i8 0 to i64
  %".333" = shl i64 %".332", 16
  %".334" = or i64 %".331", %".333"
  %".335" = zext i8 0 to i64
  %".336" = shl i64 %".335", 24
  %".337" = or i64 %".334", %".336"
  %".338" = zext i8 0 to i64
  %".339" = shl i64 %".338", 32
  %".340" = or i64 %".337", %".339"
  %".341" = zext i8 0 to i64
  %".342" = shl i64 %".341", 40
  %".343" = or i64 %".340", %".342"
  %".344" = zext i8 0 to i64
  %".345" = shl i64 %".344", 48
  %".346" = or i64 %".343", %".345"
  %".347" = zext i8 0 to i64
  %".348" = shl i64 %".347", 56
  %".349" = or i64 %".346", %".348"
  %".350" = zext i64 %".349" to i128
  %".351" = udiv i128 %".327", %".350"
  %".352" = trunc i128 %".351" to i64
  %".353" = sext i64 112410438 to i128
  %".354" = sext i64 %".323" to i128
  %".355" = mul i128 %".353", %".354"
  %".356" = trunc i128 %".355" to i64
  %".357" = sub i64 %".352", %".356"
  %".358" = zext i8 2 to i64
  %".359" = and i64 %".358", 63
  %".360" = lshr i64 %".357", %".359"
  %".361" = and i64 15, %".360"
  %".362" = or i64 1, %".361"
  %".363" = sub i64 64, %".362"
  %".364" = trunc i64 %".363" to i32
  %".365" = zext i32 %".364" to i64
  %".366" = trunc i64 %".365" to i8
  %".367" = zext i8 %".366" to i64
  %".368" = and i64 %".367", 63
  %".369" = lshr i64 %".323", %".368"
  %".370" = zext i8 2 to i64
  %".371" = and i64 %".370", 63
  %".372" = lshr i64 %".357", %".371"
  %".373" = and i64 15, %".372"
  %".374" = or i64 1, %".373"
  %".375" = trunc i64 %".374" to i32
  %".376" = zext i32 %".375" to i64
  %".377" = trunc i64 %".376" to i8
  %".378" = zext i8 %".377" to i64
  %".379" = and i64 %".378", 63
  %".380" = shl i64 %".323", %".379"
  %".381" = or i64 %".369", %".380"
  %".382" = and i64 7, %".381"
  %".383" = zext i8 2 to i64
  %".384" = and i64 %".383", 63
  %".385" = shl i64 %".382", %".384"
  %".386" = add i64 160536708, %"SymVar_0"
  %".387" = zext i8 7 to i64
  %".388" = and i64 %".387", 63
  %".389" = lshr i64 %".357", %".388"
  %".390" = zext i8 2 to i64
  %".391" = and i64 %".390", 63
  %".392" = lshr i64 %".389", %".391"
  %".393" = and i64 7, %".392"
  %".394" = or i64 1, %".393"
  %".395" = trunc i64 %".394" to i32
  %".396" = zext i32 %".395" to i64
  %".397" = trunc i64 %".396" to i8
  %".398" = zext i8 %".397" to i64
  %".399" = and i64 %".398", 63
  %".400" = lshr i64 %".386", %".399"
  %".401" = and i64 63, %".400"
  %".402" = zext i8 4 to i64
  %".403" = and i64 %".402", 63
  %".404" = shl i64 %".401", %".403"
  %".405" = or i64 %".404", %".400"
  %".406" = or i64 %".385", %".405"
  %".407" = trunc i64 %".406" to i8
  %".408" = zext i8 %".407" to i64
  %".409" = lshr i64 %".406", 24
  %".410" = trunc i64 %".409" to i8
  %".411" = zext i8 %".410" to i32
  %".412" = zext i32 %".411" to i64
  %".413" = trunc i64 %".412" to i8
  %".414" = zext i8 %".413" to i32
  %".415" = zext i32 %".414" to i64
  %".416" = trunc i64 %".415" to i8
  %".417" = zext i8 %".416" to i32
  %".418" = zext i32 %".417" to i64
  %".419" = trunc i64 %".418" to i8
  %".420" = zext i8 %".419" to i32
  %".421" = zext i32 %".420" to i64
  %".422" = trunc i64 %".421" to i8
  %".423" = zext i8 %".422" to i64
  %".424" = shl i64 %".423", 8
  %".425" = or i64 %".408", %".424"
  %".426" = lshr i64 %".406", 16
  %".427" = trunc i64 %".426" to i8
  %".428" = zext i8 %".427" to i64
  %".429" = shl i64 %".428", 16
  %".430" = or i64 %".425", %".429"
  %".431" = lshr i64 %".406", 8
  %".432" = trunc i64 %".431" to i8
  %".433" = zext i8 %".432" to i32
  %".434" = zext i32 %".433" to i64
  %".435" = trunc i64 %".434" to i8
  %".436" = zext i8 %".435" to i32
  %".437" = zext i32 %".436" to i64
  %".438" = trunc i64 %".437" to i8
  %".439" = zext i8 %".438" to i32
  %".440" = zext i32 %".439" to i64
  %".441" = trunc i64 %".440" to i8
  %".442" = zext i8 %".441" to i32
  %".443" = zext i32 %".442" to i64
  %".444" = trunc i64 %".443" to i8
  %".445" = zext i8 %".444" to i32
  %".446" = zext i32 %".445" to i64
  %".447" = trunc i64 %".446" to i8
  %".448" = zext i8 %".447" to i32
  %".449" = zext i32 %".448" to i64
  %".450" = trunc i64 %".449" to i8
  %".451" = zext i8 %".450" to i32
  %".452" = zext i32 %".451" to i64
  %".453" = trunc i64 %".452" to i8
  %".454" = zext i8 %".453" to i32
  %".455" = zext i32 %".454" to i64
  %".456" = trunc i64 %".455" to i8
  %".457" = zext i8 %".456" to i64
  %".458" = shl i64 %".457", 24
  %".459" = or i64 %".430", %".458"
  %".460" = lshr i64 %".406", 32
  %".461" = trunc i64 %".460" to i8
  %".462" = zext i8 %".461" to i64
  %".463" = shl i64 %".462", 32
  %".464" = or i64 %".459", %".463"
  %".465" = lshr i64 %".406", 40
  %".466" = trunc i64 %".465" to i8
  %".467" = zext i8 %".466" to i64
  %".468" = shl i64 %".467", 40
  %".469" = or i64 %".464", %".468"
  %".470" = lshr i64 %".406", 48
  %".471" = trunc i64 %".470" to i8
  %".472" = zext i8 %".471" to i64
  %".473" = shl i64 %".472", 48
  %".474" = or i64 %".469", %".473"
  %".475" = lshr i64 %".406", 56
  %".476" = trunc i64 %".475" to i8
  %".477" = zext i8 %".476" to i64
  %".478" = shl i64 %".477", 56
  %".479" = or i64 %".474", %".478"
  %".480" = sext i64 %".479" to i128
  %".481" = mul i128 %".313", %".480"
  %".482" = trunc i128 %".481" to i64
  %".483" = sext i64 %".482" to i128
  %".484" = zext i8 3 to i64
  %".485" = and i64 %".484", 63
  %".486" = lshr i64 %".312", %".485"
  %".487" = and i64 15, %".486"
  %".488" = or i64 1, %".487"
  %".489" = sub i64 64, %".488"
  %".490" = trunc i64 %".489" to i32
  %".491" = zext i32 %".490" to i64
  %".492" = trunc i64 %".491" to i8
  %".493" = zext i8 %".492" to i64
  %".494" = and i64 %".493", 63
  %".495" = lshr i64 %".312", %".494"
  %".496" = zext i8 3 to i64
  %".497" = and i64 %".496", 63
  %".498" = lshr i64 %".312", %".497"
  %".499" = and i64 15, %".498"
  %".500" = or i64 1, %".499"
  %".501" = trunc i64 %".500" to i32
  %".502" = zext i32 %".501" to i64
  %".503" = trunc i64 %".502" to i8
  %".504" = zext i8 %".503" to i64
  %".505" = and i64 %".504", 63
  %".506" = shl i64 %".312", %".505"
  %".507" = or i64 %".495", %".506"
  %".508" = or i64 %".357", %".507"
  %".509" = sext i64 %".508" to i128
  %".510" = mul i128 %".483", %".509"
  %".511" = trunc i128 %".510" to i64
  br label %".3.endif.endif.endif.endif.endif"
.3.endif.endif.endif.endif.endif:
  %".513" = phi i64 [%".310", %".3.endif.endif.endif.endif.if"], [%".511", %".3.endif.endif.endif.endif.else"]
  ret i64 %".513"
}
